Second Order Metaprogramming
نویسنده
چکیده
Metaprogramming, in the sense used in this paper (rather than the programming template sense) is the use of a collection of programs which orchestrates other (possibly collections of) programs. One of the requirements of the metaprogramming code is that it must collectively develop a sense of what the situation is and what should be done as a result. Situation awareness is an example technique used to interpret / analyze sensor data into a structured data set which indicates the “awareness” of the situation at that time. What is needed is the ability to functionally adjust both the trigger pattern of input and the resulting behavioural response. This is done through learning. Systems which are able to adjust their own metaprograms are called self-metaprogramming, and learning is a key feature of these systems.
منابع مشابه
Soft IP Design Framework Using Metaprogramming Techniques
We discuss the application of the metaprogramming techniques for soft IP design. Two metaprogramming paradigms are considered: the internal (using capabilities of the single language) and external (based on the usage of the target language and external metalanguage simultaneously) ones. The novelty of our approach is that we apply the concept of the multi-dimensional separation of concerns impl...
متن کاملStrictness Analysis and let-to-case Transformation using Template Haskell
Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a very recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Has...
متن کاملUsing Template Haskell for Abstract Interpretation
Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Haskell ...
متن کاملA Compile-Time Infrastructure for GCC Using Haskell (extended version)
This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a plugin infrastructure that exposes two compile-time mechanisms. The first of these is a mechanism by which one may perform arbitrary computations over types within the context of the C++ template metaprogramming infrastructure. The second of these exposes selected port...
متن کاملA Compile-Time Infrastructure for GCC Using Haskell
This project aims to improve the metaprogramming and verification capabilities of the GNU Compiler Collection. It consists of a plugin infrastructure that exposes two compile-time mechanisms. The first of these is a mechanism by which one may perform arbitrary computations over types within the context of the C++ template metaprogramming infrastructure. The second of these exposes selected port...
متن کامل